N P F
نویسندگان
چکیده
We define when a linear-time temporal property is a fairness property with respect to a given system. This captures the essence that is shared by most fairness assumptions that are used in the specification and verification of reactive concurrent systems, such as weak fairness, strong fairness, kfairness, and many others. We give three characterisations for the family of all fairness properties: a language-theoretic, a topological, and a gametheoretic characterisation. It turns out that the fairness properties are the “large” sets from a topological point of view, i.e., they are the co-meager sets in the natural topology of runs of a given system. This insight provides a link to probability theory where a set is “large” when it has measure 1. While these two notions of largeness are very similar, they do not coincide in general. However, we show that they coincide for ω-regular properties and bounded Borel measures. That is, an ω-regular temporal property of a finite-state system has measure 1 under a bounded Borel measure if and only if it is a fairness property with respect to that system.
منابع مشابه
Recurrences and explicit formulae for the expansion and connection coefficients in series of the product of two classical discrete orthogonal polynomials
Suppose that for an arbitrary function $f(x,y)$ of two discrete variables, we have the formal expansions. [f(x,y)=sumlimits_{m,n=0}^{infty }a_{m,n},P_{m}(x)P_{n}(y),] $$ x^{m}P_{j}(x)=sumlimits_{n=0}^{2m}a_{m,,n}(j)P_{j+m-n}(x),$$ we find the coefficients $b_{i,j}^{(p,q,ell ,,r)}$ in the expansion $$ x^{ell }y^{r},nabla _{x}^{p}nabla _{y}^{q},f(x,y)=x^{ell }y^{r}f^{(p,q)}(x,y) =sumli...
متن کاملSome results on value distribution of the difference operator
In this article, we consider the uniqueness of the difference monomials $f^{n}(z)f(z+c)$. Suppose that $f(z)$ and $g(z)$ are transcendental meromorphic functions with finite order and $E_k(1, f^{n}(z)f(z+c))=E_k(1, g^{n}(z)g(z+c))$. Then we prove that if one of the following holds (i) $n geq 14$ and $kgeq 3$, (ii) $n geq 16$ and $k=2$, (iii) $n geq 22$ and $k=1$, then $f(z)equiv t_1g(z)$ or $f(...
متن کاملسنتز، ساختار بلوری و آنالیز سطح هرشفلد فسفریک تری آمید جدید [2-F-C6H4C(O)NH]P(O)[NHCH(CH3)2]2
در کار حاضر، فسفریک تری آمید جدید N-(2-فلوروبنزوئیل)-N′،N″-دی ایزوپروپیل فسفریک تری‌آمید، [2-F-C6H4C(O)NH]P(O)[NHCH(CH3)2]2 سنتز و با آنالیز بلورنگاری پرتوی X شناسایی می شود. واحد بی تقارن شامل دو مولکول مستقل P1 و P2 است که از طریق پیوندهای هیدروژنی NCP—H···O═C و (N—H)2···O═P، با تشکیل دو زنجیر مستقل و حلقه های / تجمع می یابند. به منظور بررسی بیشتر بر روی برهمکنش های بین مولکولی در ترکیب مور...
متن کاملAmitraz Poisoning; A case study
A m i t r a z, a n i ns e c t i c i d e /a ca ri c i de of the f o r m a m i d i n e p e st i c i d e s group, is a ? 2 a d r e n e r g i c ag on i st a nd of t he a m i d i ne c h e m i ca l f a m il y generally us e d to c o n t r ol animal e c top a r a s i t e s. Poisoning due to am i t r a z i s r a r e and character...
متن کاملGrowth of meromorphic solutions for complex difference equations of Malmquist type
In this paper, we give some necessary conditions for a complex difference equation of Malmquist type $$sum^n_{j=1}f(z+c_j)=frac{P(f(z))}{Q(f(z))},$$ where $n(in{mathbb{N}})geq{2}$, and $P(f(z))$ and $Q(f(z))$ are relatively prime polynomials in $f(z)$ with small functions as coefficients, admitting a meromorphic function of finite order. Moreover, the properties of finite o...
متن کاملFurther results on odd mean labeling of some subdivision graphs
Let G(V,E) be a graph with p vertices and q edges. A graph G is said to have an odd mean labeling if there exists a function f : V (G) → {0, 1, 2,...,2q - 1} satisfying f is 1 - 1 and the induced map f* : E(G) → {1, 3, 5,...,2q - 1} defined by f*(uv) = (f(u) + f(v))/2 if f(u) + f(v) is evenf*(uv) = (f(u) + f(v) + 1)/2 if f(u) + f(v) is odd is a bijection. A graph that admits an odd mean labelin...
متن کامل